prove that xy = 1 indices